Immediate inference